arm: acpi/boot.c is only used during initialisation
authorWei Liu <wei.liu2@citrix.com>
Wed, 31 Aug 2016 15:26:49 +0000 (16:26 +0100)
committerWei Liu <wei.liu2@citrix.com>
Wed, 31 Aug 2016 15:37:23 +0000 (16:37 +0100)
commit8b53aa66e6f17ee208f2f6b65c473ca907f057d0
tree1d7ccec7e0950b27f328567d39b52e839598084c
parent4b314c89be24c26abfad47900f806cebeafc805e
arm: acpi/boot.c is only used during initialisation

That file should contain code and data used during initialisation only.

Mark it as such in build system and correctly annotate enabled_cpus.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Reviewed-by: Julien Grall <julien.grall@arm.com>
xen/arch/arm/acpi/Makefile
xen/arch/arm/acpi/boot.c